<lift:surround with="default" at="content">
    <script src="samples.js" type="text/javascript"/>
	<h1>SPSC online</h1>
	<div>
    <a href='javascript:sample("appendXYaZ");void(0);'>appendXYaZ</a>
    <a href='javascript:sample("appendXYaX");void(0);'>appendXYaX</a>
    <a href='javascript:sample("appendXaYZ");void(0);'>appendXaYZ</a>
    <a href='javascript:sample("abab");void(0);'>abab</a>
    <a href='javascript:sample("eqxx");void(0);'>eqxx</a>
    <a href='javascript:sample("eqxSx");void(0);'>eqxSx</a>
    <a href='javascript:sample("eqSxx");void(0);'>eqSxx</a>
    <a href='javascript:sample("eqSZx");void(0);'>eqSZx</a>
    <a href='javascript:sample("mapNotNot");void(0);'>mapNotNot</a>
    <a href='javascript:sample("mapNotNotNot");void(0);'>mapNotNotNot</a>
    <a href='javascript:sample("member");void(0);'>member</a>
    <a href='javascript:sample("memberSZ");void(0);'>memberSZ</a>
    <a href='javascript:sample("memberZSZ");void(0);'>memberZSZ</a>
    <a href='javascript:sample("notornot");void(0);'>notornot</a>
    <a href='javascript:sample("memberLazy");void(0);'>memberLazy</a>
    <a href='javascript:sample("takenm");void(0);'>takenm</a>
    <a href='javascript:sample("mapfrom");void(0);'>mapfrom</a>
    <a href='javascript:sample("reverse");void(0);'>reverse</a>
    <a href='javascript:sample("flip2");void(0);'>flip2</a>
    <a href='javascript:sample("flip3");void(0);'>flip3</a>
    </div>
	<form method="post" action="spsc_result">
	<div><textarea name="program" rows="20" cols="100" id="programText"/><br />        
    <label for="fname">Name of f-function to be supercompiled:</label>
        <input type="text" name="fname" id="fname"/>
        <br />
        <input type="submit" value="supercompile" />
        </div>
    </form>
</lift:surround>